(1
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 116)
  ("(var3 stable)" 116 196)
  ("(var3 up)" 196 200)
  ("(var3 down)" 200 211)
  ("(var3 up)" 211 219)
  ("(var3 stable)" 219 357)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 113)
  ("(var4 stable)" 113 357)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 85)
  ("(var1 stable)" 85 87)
  ("(var1 up)" 87 117)
  ("(var1 stable)" 117 357)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 up)" 106 219)
  ("(var2 stable)" 219 357)
 )
)
(2
 (
  ("(var3 stable)" 0 73)
  ("(var3 down)" 73 75)
  ("(var3 up)" 75 116)
  ("(var3 stable)" 116 118)
  ("(var3 up)" 118 122)
  ("(var3 stable)" 122 211)
  ("(var3 up)" 211 217)
  ("(var3 down)" 217 226)
  ("(var3 stable)" 226 229)
  ("(var3 up)" 229 235)
  ("(var3 stable)" 235 381)
  ("(var4 stable)" 0 90)
  ("(var4 up)" 90 96)
  ("(var4 stable)" 96 98)
  ("(var4 up)" 98 123)
  ("(var4 stable)" 123 381)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 78)
  ("(var1 down)" 78 80)
  ("(var1 up)" 80 122)
  ("(var1 stable)" 122 381)
  ("(var2 stable)" 0 112)
  ("(var2 down)" 112 114)
  ("(var2 up)" 114 256)
  ("(var2 stable)" 256 381)
 )
)
(3
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 41)
  ("(var3 down)" 41 43)
  ("(var3 up)" 43 45)
  ("(var3 stable)" 45 47)
  ("(var3 up)" 47 76)
  ("(var3 stable)" 76 158)
  ("(var3 up)" 158 162)
  ("(var3 stable)" 162 164)
  ("(var3 down)" 164 173)
  ("(var3 up)" 173 178)
  ("(var3 stable)" 178 316)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 75)
  ("(var4 stable)" 75 316)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 74)
  ("(var1 stable)" 74 316)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 up)" 65 195)
  ("(var2 stable)" 195 316)
 )
)
(4
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 68)
  ("(var3 stable)" 68 148)
  ("(var3 down)" 148 158)
  ("(var3 stable)" 158 160)
  ("(var3 up)" 160 165)
  ("(var3 stable)" 165 284)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 38)
  ("(var4 up)" 38 62)
  ("(var4 down)" 62 64)
  ("(var4 stable)" 64 284)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 69)
  ("(var1 stable)" 69 284)
  ("(var2 stable)" 0 56)
  ("(var2 down)" 56 60)
  ("(var2 up)" 60 177)
  ("(var2 stable)" 177 284)
 )
)
(5
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 88)
  ("(var3 stable)" 88 166)
  ("(var3 up)" 166 171)
  ("(var3 down)" 171 181)
  ("(var3 up)" 181 186)
  ("(var3 stable)" 186 316)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 88)
  ("(var4 stable)" 88 316)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 94)
  ("(var1 stable)" 94 316)
  ("(var2 stable)" 0 78)
  ("(var2 down)" 78 80)
  ("(var2 up)" 80 202)
  ("(var2 stable)" 202 316)
 )
)
(6
 (
  ("(var3 up)" 0 2)
  ("(var3 stable)" 2 93)
  ("(var3 up)" 93 119)
  ("(var3 stable)" 119 204)
  ("(var3 up)" 204 207)
  ("(var3 down)" 207 219)
  ("(var3 up)" 219 223)
  ("(var3 stable)" 223 358)
  ("(var4 stable)" 0 90)
  ("(var4 up)" 90 117)
  ("(var4 stable)" 117 358)
  ("(var1 stable)" 0 90)
  ("(var1 up)" 90 125)
  ("(var1 stable)" 125 358)
  ("(var2 stable)" 0 112)
  ("(var2 down)" 112 114)
  ("(var2 up)" 114 250)
  ("(var2 stable)" 250 358)
 )
)
(7
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 65)
  ("(var3 stable)" 65 150)
  ("(var3 up)" 150 155)
  ("(var3 down)" 155 165)
  ("(var3 up)" 165 171)
  ("(var3 stable)" 171 309)
  ("(var4 stable)" 0 31)
  ("(var4 up)" 31 65)
  ("(var4 stable)" 65 309)
  ("(var1 stable)" 0 29)
  ("(var1 up)" 29 31)
  ("(var1 stable)" 31 34)
  ("(var1 up)" 34 64)
  ("(var1 down)" 64 66)
  ("(var1 up)" 66 68)
  ("(var1 stable)" 68 309)
  ("(var2 stable)" 0 53)
  ("(var2 down)" 53 55)
  ("(var2 stable)" 55 93)
  ("(var2 up)" 93 173)
  ("(var2 down)" 173 175)
  ("(var2 up)" 175 179)
  ("(var2 stable)" 179 309)
 )
)
(8
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 81)
  ("(var3 down)" 81 83)
  ("(var3 up)" 83 115)
  ("(var3 stable)" 115 190)
  ("(var3 up)" 190 193)
  ("(var3 down)" 193 203)
  ("(var3 up)" 203 210)
  ("(var3 stable)" 210 342)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 116)
  ("(var4 stable)" 116 342)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 111)
  ("(var1 stable)" 111 114)
  ("(var1 up)" 114 116)
  ("(var1 stable)" 116 342)
  ("(var2 stable)" 0 102)
  ("(var2 down)" 102 104)
  ("(var2 up)" 104 232)
  ("(var2 stable)" 232 342)
 )
)
(9
 (
  ("(var3 stable)" 0 83)
  ("(var3 up)" 83 118)
  ("(var3 stable)" 118 194)
  ("(var3 up)" 194 200)
  ("(var3 down)" 200 209)
  ("(var3 up)" 209 213)
  ("(var3 stable)" 213 348)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 82)
  ("(var4 stable)" 82 84)
  ("(var4 up)" 84 115)
  ("(var4 stable)" 115 346)
  ("(var4 up)" 346 348)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 119)
  ("(var1 stable)" 119 348)
  ("(var2 stable)" 0 102)
  ("(var2 down)" 102 104)
  ("(var2 up)" 104 239)
  ("(var2 stable)" 239 348)
 )
)
(10
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 79)
  ("(var3 stable)" 79 147)
  ("(var3 up)" 147 153)
  ("(var3 down)" 153 161)
  ("(var3 up)" 161 166)
  ("(var3 stable)" 166 301)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 68)
  ("(var4 down)" 68 70)
  ("(var4 up)" 70 72)
  ("(var4 stable)" 72 301)
  ("(var1 stable)" 0 38)
  ("(var1 up)" 38 67)
  ("(var1 stable)" 67 301)
  ("(var2 stable)" 0 59)
  ("(var2 down)" 59 61)
  ("(var2 up)" 61 100)
  ("(var2 stable)" 100 103)
  ("(var2 up)" 103 186)
  ("(var2 stable)" 186 301)
 )
)
(11
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 100)
  ("(var3 stable)" 100 177)
  ("(var3 up)" 177 180)
  ("(var3 stable)" 180 182)
  ("(var3 down)" 182 191)
  ("(var3 up)" 191 194)
  ("(var3 stable)" 194 313)
  ("(var4 up)" 0 2)
  ("(var4 stable)" 2 4)
  ("(var4 down)" 4 6)
  ("(var4 up)" 6 8)
  ("(var4 down)" 8 10)
  ("(var4 stable)" 10 64)
  ("(var4 up)" 64 75)
  ("(var4 down)" 75 77)
  ("(var4 up)" 77 102)
  ("(var4 stable)" 102 313)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 97)
  ("(var1 stable)" 97 313)
  ("(var2 stable)" 0 91)
  ("(var2 down)" 91 93)
  ("(var2 up)" 93 215)
  ("(var2 stable)" 215 313)
 )
)
(12
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 110)
  ("(var3 stable)" 110 332)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 109)
  ("(var4 stable)" 109 332)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 108)
  ("(var1 stable)" 108 332)
  ("(var2 stable)" 0 99)
  ("(var2 down)" 99 101)
  ("(var2 stable)" 101 138)
  ("(var2 up)" 138 237)
  ("(var2 stable)" 237 332)
 )
)
(13
 (
  ("(var3 stable)" 0 48)
  ("(var3 up)" 48 82)
  ("(var3 stable)" 82 154)
  ("(var3 up)" 154 159)
  ("(var3 down)" 159 170)
  ("(var3 up)" 170 176)
  ("(var3 stable)" 176 302)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 52)
  ("(var4 up)" 52 82)
  ("(var4 stable)" 82 302)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 82)
  ("(var1 stable)" 82 302)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 73)
  ("(var2 up)" 73 191)
  ("(var2 down)" 191 193)
  ("(var2 stable)" 193 302)
 )
)
(14
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 40)
  ("(var3 up)" 40 72)
  ("(var3 stable)" 72 149)
  ("(var3 up)" 149 155)
  ("(var3 down)" 155 165)
  ("(var3 up)" 165 169)
  ("(var3 stable)" 169 305)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 41)
  ("(var4 stable)" 41 43)
  ("(var4 up)" 43 67)
  ("(var4 stable)" 67 305)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 67)
  ("(var1 stable)" 67 303)
  ("(var1 down)" 303 305)
  ("(var2 stable)" 0 59)
  ("(var2 down)" 59 61)
  ("(var2 stable)" 61 89)
  ("(var2 up)" 89 91)
  ("(var2 stable)" 91 94)
  ("(var2 up)" 94 102)
  ("(var2 down)" 102 104)
  ("(var2 up)" 104 194)
  ("(var2 stable)" 194 305)
 )
)
(15
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 81)
  ("(var3 stable)" 81 166)
  ("(var3 up)" 166 171)
  ("(var3 down)" 171 182)
  ("(var3 up)" 182 186)
  ("(var3 stable)" 186 327)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 50)
  ("(var4 down)" 50 52)
  ("(var4 up)" 52 78)
  ("(var4 stable)" 78 327)
  ("(var1 stable)" 0 38)
  ("(var1 up)" 38 79)
  ("(var1 stable)" 79 327)
  ("(var2 stable)" 0 69)
  ("(var2 down)" 69 71)
  ("(var2 up)" 71 213)
  ("(var2 stable)" 213 327)
 )
)
(16
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 77)
  ("(var3 stable)" 77 159)
  ("(var3 up)" 159 164)
  ("(var3 down)" 164 175)
  ("(var3 up)" 175 181)
  ("(var3 stable)" 181 323)
  ("(var4 stable)" 0 33)
  ("(var4 up)" 33 69)
  ("(var4 stable)" 69 323)
  ("(var1 stable)" 0 37)
  ("(var1 up)" 37 39)
  ("(var1 stable)" 39 42)
  ("(var1 up)" 42 72)
  ("(var1 stable)" 72 323)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 64)
  ("(var2 stable)" 64 104)
  ("(var2 up)" 104 209)
  ("(var2 stable)" 209 323)
 )
)
(17
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 71)
  ("(var3 stable)" 71 154)
  ("(var3 up)" 154 159)
  ("(var3 down)" 159 169)
  ("(var3 up)" 169 175)
  ("(var3 stable)" 175 309)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 69)
  ("(var4 stable)" 69 71)
  ("(var4 up)" 71 73)
  ("(var4 stable)" 73 309)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 75)
  ("(var1 stable)" 75 309)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 stable)" 62 101)
  ("(var2 up)" 101 198)
  ("(var2 stable)" 198 309)
 )
)
(18
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 94)
  ("(var3 stable)" 94 170)
  ("(var3 up)" 170 175)
  ("(var3 down)" 175 184)
  ("(var3 up)" 184 191)
  ("(var3 stable)" 191 325)
  ("(var4 stable)" 0 58)
  ("(var4 up)" 58 87)
  ("(var4 stable)" 87 325)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 90)
  ("(var1 stable)" 90 325)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 81)
  ("(var2 up)" 81 183)
  ("(var2 stable)" 183 186)
  ("(var2 up)" 186 221)
  ("(var2 down)" 221 223)
  ("(var2 up)" 223 225)
  ("(var2 stable)" 225 325)
 )
)
(19
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 80)
  ("(var3 stable)" 80 153)
  ("(var3 up)" 153 158)
  ("(var3 down)" 158 164)
  ("(var3 stable)" 164 296)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 78)
  ("(var4 stable)" 78 296)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 80)
  ("(var1 stable)" 80 296)
  ("(var2 stable)" 0 67)
  ("(var2 down)" 67 69)
  ("(var2 up)" 69 192)
  ("(var2 down)" 192 196)
  ("(var2 stable)" 196 296)
 )
)
(20
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 84)
  ("(var3 down)" 84 86)
  ("(var3 stable)" 86 163)
  ("(var3 up)" 163 167)
  ("(var3 stable)" 167 169)
  ("(var3 down)" 169 177)
  ("(var3 up)" 177 182)
  ("(var3 stable)" 182 313)
  ("(var4 stable)" 0 56)
  ("(var4 up)" 56 83)
  ("(var4 stable)" 83 85)
  ("(var4 up)" 85 88)
  ("(var4 stable)" 88 313)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 47)
  ("(var1 up)" 47 87)
  ("(var1 stable)" 87 313)
  ("(var2 stable)" 0 74)
  ("(var2 down)" 74 76)
  ("(var2 stable)" 76 108)
  ("(var2 up)" 108 203)
  ("(var2 stable)" 203 313)
 )
)
(21
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 95)
  ("(var3 stable)" 95 166)
  ("(var3 up)" 166 170)
  ("(var3 down)" 170 180)
  ("(var3 up)" 180 184)
  ("(var3 stable)" 184 321)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 85)
  ("(var4 stable)" 85 321)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 52)
  ("(var1 down)" 52 54)
  ("(var1 up)" 54 85)
  ("(var1 stable)" 85 321)
  ("(var2 stable)" 0 73)
  ("(var2 down)" 73 77)
  ("(var2 up)" 77 203)
  ("(var2 stable)" 203 321)
 )
)
(22
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 118)
  ("(var3 stable)" 118 196)
  ("(var3 up)" 196 201)
  ("(var3 down)" 201 210)
  ("(var3 stable)" 210 212)
  ("(var3 up)" 212 214)
  ("(var3 stable)" 214 351)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 84)
  ("(var4 down)" 84 86)
  ("(var4 up)" 86 117)
  ("(var4 stable)" 117 351)
  ("(var1 stable)" 0 88)
  ("(var1 up)" 88 114)
  ("(var1 stable)" 114 351)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 107)
  ("(var2 up)" 107 233)
  ("(var2 stable)" 233 351)
 )
)
(23
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 106)
  ("(var3 stable)" 106 184)
  ("(var3 up)" 184 186)
  ("(var3 down)" 186 195)
  ("(var3 up)" 195 201)
  ("(var3 stable)" 201 330)
  ("(var4 stable)" 0 75)
  ("(var4 up)" 75 105)
  ("(var4 stable)" 105 330)
  ("(var1 stable)" 0 70)
  ("(var1 up)" 70 110)
  ("(var1 stable)" 110 330)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 99)
  ("(var2 up)" 99 132)
  ("(var2 stable)" 132 135)
  ("(var2 up)" 135 224)
  ("(var2 stable)" 224 330)
 )
)
(24
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 102)
  ("(var3 stable)" 102 181)
  ("(var3 up)" 181 186)
  ("(var3 stable)" 186 188)
  ("(var3 down)" 188 198)
  ("(var3 up)" 198 202)
  ("(var3 stable)" 202 346)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 97)
  ("(var4 down)" 97 99)
  ("(var4 stable)" 99 346)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 61)
  ("(var1 down)" 61 64)
  ("(var1 up)" 64 96)
  ("(var1 stable)" 96 346)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 stable)" 87 123)
  ("(var2 up)" 123 200)
  ("(var2 stable)" 200 346)
 )
)
(25
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 104)
  ("(var3 stable)" 104 194)
  ("(var3 up)" 194 199)
  ("(var3 down)" 199 209)
  ("(var3 up)" 209 215)
  ("(var3 stable)" 215 355)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 101)
  ("(var4 stable)" 101 355)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 107)
  ("(var1 stable)" 107 355)
  ("(var2 stable)" 0 90)
  ("(var2 down)" 90 94)
  ("(var2 stable)" 94 124)
  ("(var2 up)" 124 244)
  ("(var2 stable)" 244 355)
 )
)
(26
 (
  ("(var3 stable)" 0 92)
  ("(var3 up)" 92 123)
  ("(var3 stable)" 123 205)
  ("(var3 up)" 205 211)
  ("(var3 down)" 211 222)
  ("(var3 up)" 222 227)
  ("(var3 stable)" 227 367)
  ("(var4 stable)" 0 93)
  ("(var4 up)" 93 125)
  ("(var4 stable)" 125 367)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 122)
  ("(var1 stable)" 122 367)
  ("(var2 stable)" 0 111)
  ("(var2 down)" 111 113)
  ("(var2 up)" 113 248)
  ("(var2 stable)" 248 367)
 )
)
(27
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 76)
  ("(var3 stable)" 76 160)
  ("(var3 up)" 160 164)
  ("(var3 down)" 164 175)
  ("(var3 up)" 175 179)
  ("(var3 stable)" 179 320)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 84)
  ("(var4 stable)" 84 320)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 77)
  ("(var1 stable)" 77 320)
  ("(var2 stable)" 0 67)
  ("(var2 down)" 67 69)
  ("(var2 up)" 69 202)
  ("(var2 stable)" 202 320)
 )
)
(28
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 93)
  ("(var3 stable)" 93 176)
  ("(var3 up)" 176 181)
  ("(var3 down)" 181 191)
  ("(var3 up)" 191 195)
  ("(var3 stable)" 195 339)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 91)
  ("(var4 stable)" 91 94)
  ("(var4 up)" 94 96)
  ("(var4 stable)" 96 339)
  ("(var1 stable)" 0 60)
  ("(var1 up)" 60 90)
  ("(var1 stable)" 90 339)
  ("(var2 stable)" 0 80)
  ("(var2 down)" 80 82)
  ("(var2 up)" 82 183)
  ("(var2 stable)" 183 185)
  ("(var2 up)" 185 228)
  ("(var2 stable)" 228 339)
 )
)
(29
 (
  ("(var3 stable)" 0 27)
  ("(var3 down)" 27 29)
  ("(var3 up)" 29 76)
  ("(var3 stable)" 76 156)
  ("(var3 up)" 156 164)
  ("(var3 down)" 164 174)
  ("(var3 up)" 174 178)
  ("(var3 stable)" 178 323)
  ("(var4 stable)" 0 36)
  ("(var4 up)" 36 74)
  ("(var4 stable)" 74 323)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 73)
  ("(var1 stable)" 73 323)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 up)" 62 172)
  ("(var2 stable)" 172 323)
 )
)
(30
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 71)
  ("(var3 stable)" 71 154)
  ("(var3 up)" 154 157)
  ("(var3 stable)" 157 159)
  ("(var3 down)" 159 167)
  ("(var3 stable)" 167 169)
  ("(var3 up)" 169 173)
  ("(var3 stable)" 173 304)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 68)
  ("(var4 stable)" 68 304)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 74)
  ("(var1 stable)" 74 304)
  ("(var2 stable)" 0 63)
  ("(var2 up)" 63 203)
  ("(var2 stable)" 203 304)
 )
)
(31
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 74)
  ("(var3 stable)" 74 150)
  ("(var3 up)" 150 156)
  ("(var3 down)" 156 166)
  ("(var3 up)" 166 171)
  ("(var3 stable)" 171 308)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 73)
  ("(var4 stable)" 73 308)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 67)
  ("(var1 stable)" 67 308)
  ("(var2 stable)" 0 59)
  ("(var2 down)" 59 61)
  ("(var2 up)" 61 187)
  ("(var2 stable)" 187 308)
 )
)
(32
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 111)
  ("(var3 stable)" 111 196)
  ("(var3 up)" 196 203)
  ("(var3 down)" 203 212)
  ("(var3 up)" 212 219)
  ("(var3 stable)" 219 363)
  ("(var4 up)" 0 2)
  ("(var4 stable)" 2 70)
  ("(var4 up)" 70 111)
  ("(var4 stable)" 111 363)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 110)
  ("(var1 stable)" 110 363)
  ("(var2 stable)" 0 99)
  ("(var2 down)" 99 103)
  ("(var2 stable)" 103 138)
  ("(var2 up)" 138 217)
  ("(var2 stable)" 217 363)
 )
)
(33
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 96)
  ("(var3 stable)" 96 159)
  ("(var3 up)" 159 166)
  ("(var3 down)" 166 175)
  ("(var3 up)" 175 181)
  ("(var3 stable)" 181 306)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 88)
  ("(var4 stable)" 88 306)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 57)
  ("(var1 down)" 57 59)
  ("(var1 up)" 59 89)
  ("(var1 stable)" 89 306)
  ("(var2 stable)" 0 79)
  ("(var2 down)" 79 81)
  ("(var2 up)" 81 166)
  ("(var2 stable)" 166 169)
  ("(var2 up)" 169 199)
  ("(var2 stable)" 199 306)
 )
)
(34
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 47)
  ("(var3 down)" 47 49)
  ("(var3 up)" 49 78)
  ("(var3 stable)" 78 152)
  ("(var3 up)" 152 158)
  ("(var3 down)" 158 168)
  ("(var3 up)" 168 173)
  ("(var3 stable)" 173 299)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 77)
  ("(var4 stable)" 77 299)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 77)
  ("(var1 stable)" 77 299)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 70)
  ("(var2 up)" 70 192)
  ("(var2 stable)" 192 299)
 )
)
(35
 (
  ("(var3 stable)" 0 89)
  ("(var3 up)" 89 117)
  ("(var3 stable)" 117 193)
  ("(var3 down)" 193 196)
  ("(var3 up)" 196 203)
  ("(var3 down)" 203 213)
  ("(var3 up)" 213 216)
  ("(var3 stable)" 216 354)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 86)
  ("(var4 stable)" 86 88)
  ("(var4 up)" 88 121)
  ("(var4 stable)" 121 354)
  ("(var1 stable)" 0 88)
  ("(var1 up)" 88 119)
  ("(var1 stable)" 119 354)
  ("(var2 stable)" 0 107)
  ("(var2 down)" 107 109)
  ("(var2 up)" 109 216)
  ("(var2 stable)" 216 354)
 )
)
(36
 (
  ("(var3 stable)" 0 56)
  ("(var3 up)" 56 94)
  ("(var3 stable)" 94 164)
  ("(var3 up)" 164 170)
  ("(var3 down)" 170 180)
  ("(var3 up)" 180 186)
  ("(var3 stable)" 186 314)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 87)
  ("(var4 stable)" 87 314)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 95)
  ("(var1 stable)" 95 314)
  ("(var2 stable)" 0 78)
  ("(var2 down)" 78 83)
  ("(var2 up)" 83 204)
  ("(var2 stable)" 204 314)
 )
)
(37
 (
  ("(var3 stable)" 0 30)
  ("(var3 up)" 30 67)
  ("(var3 stable)" 67 147)
  ("(var3 up)" 147 151)
  ("(var3 down)" 151 161)
  ("(var3 up)" 161 166)
  ("(var3 stable)" 166 303)
  ("(var4 stable)" 0 33)
  ("(var4 up)" 33 68)
  ("(var4 stable)" 68 303)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 67)
  ("(var1 stable)" 67 303)
  ("(var2 stable)" 0 55)
  ("(var2 down)" 55 57)
  ("(var2 stable)" 57 94)
  ("(var2 up)" 94 189)
  ("(var2 down)" 189 193)
  ("(var2 up)" 193 195)
  ("(var2 stable)" 195 303)
 )
)
(38
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 86)
  ("(var3 stable)" 86 162)
  ("(var3 up)" 162 170)
  ("(var3 down)" 170 180)
  ("(var3 up)" 180 184)
  ("(var3 stable)" 184 326)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 75)
  ("(var4 stable)" 75 326)
  ("(var1 stable)" 0 37)
  ("(var1 up)" 37 77)
  ("(var1 stable)" 77 326)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 68)
  ("(var2 up)" 68 179)
  ("(var2 stable)" 179 326)
 )
)
(39
 (
  ("(var3 stable)" 0 83)
  ("(var3 up)" 83 115)
  ("(var3 stable)" 115 197)
  ("(var3 up)" 197 201)
  ("(var3 down)" 201 211)
  ("(var3 up)" 211 216)
  ("(var3 stable)" 216 351)
  ("(var4 stable)" 0 86)
  ("(var4 up)" 86 115)
  ("(var4 stable)" 115 351)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 115)
  ("(var1 stable)" 115 351)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 108)
  ("(var2 up)" 108 246)
  ("(var2 stable)" 246 351)
 )
)
(40
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 100)
  ("(var3 stable)" 100 181)
  ("(var3 up)" 181 184)
  ("(var3 stable)" 184 186)
  ("(var3 down)" 186 194)
  ("(var3 up)" 194 199)
  ("(var3 stable)" 199 330)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 99)
  ("(var4 stable)" 99 330)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 101)
  ("(var1 stable)" 101 330)
  ("(var2 stable)" 0 91)
  ("(var2 down)" 91 95)
  ("(var2 up)" 95 191)
  ("(var2 down)" 191 193)
  ("(var2 up)" 193 222)
  ("(var2 stable)" 222 330)
 )
)
(41
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 71)
  ("(var3 stable)" 71 149)
  ("(var3 up)" 149 154)
  ("(var3 down)" 154 164)
  ("(var3 up)" 164 170)
  ("(var3 stable)" 170 300)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 73)
  ("(var4 stable)" 73 300)
  ("(var1 stable)" 0 45)
  ("(var1 up)" 45 70)
  ("(var1 stable)" 70 300)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 up)" 65 182)
  ("(var2 stable)" 182 300)
 )
)
(42
 (
  ("(var3 stable)" 0 43)
  ("(var3 up)" 43 45)
  ("(var3 down)" 45 47)
  ("(var3 up)" 47 73)
  ("(var3 down)" 73 75)
  ("(var3 up)" 75 77)
  ("(var3 stable)" 77 157)
  ("(var3 up)" 157 163)
  ("(var3 down)" 163 173)
  ("(var3 up)" 173 179)
  ("(var3 stable)" 179 314)
  ("(var4 stable)" 0 28)
  ("(var4 up)" 28 72)
  ("(var4 stable)" 72 314)
  ("(var1 stable)" 0 37)
  ("(var1 down)" 37 39)
  ("(var1 up)" 39 72)
  ("(var1 stable)" 72 314)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 stable)" 65 100)
  ("(var2 up)" 100 174)
  ("(var2 down)" 174 176)
  ("(var2 up)" 176 184)
  ("(var2 down)" 184 186)
  ("(var2 stable)" 186 314)
 )
)
(43
 (
  ("(var3 stable)" 0 89)
  ("(var3 up)" 89 129)
  ("(var3 stable)" 129 204)
  ("(var3 up)" 204 209)
  ("(var3 down)" 209 219)
  ("(var3 up)" 219 223)
  ("(var3 stable)" 223 359)
  ("(var4 stable)" 0 94)
  ("(var4 up)" 94 120)
  ("(var4 stable)" 120 359)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 122)
  ("(var1 stable)" 122 359)
  ("(var2 stable)" 0 113)
  ("(var2 down)" 113 115)
  ("(var2 up)" 115 155)
  ("(var2 stable)" 155 157)
  ("(var2 up)" 157 243)
  ("(var2 stable)" 243 359)
 )
)
(44
 (
  ("(var3 stable)" 0 31)
  ("(var3 up)" 31 64)
  ("(var3 down)" 64 66)
  ("(var3 stable)" 66 139)
  ("(var3 up)" 139 143)
  ("(var3 down)" 143 153)
  ("(var3 up)" 153 157)
  ("(var3 stable)" 157 290)
  ("(var4 stable)" 0 33)
  ("(var4 up)" 33 64)
  ("(var4 stable)" 64 290)
  ("(var1 stable)" 0 29)
  ("(var1 up)" 29 64)
  ("(var1 stable)" 64 290)
  ("(var2 stable)" 0 53)
  ("(var2 down)" 53 55)
  ("(var2 up)" 55 173)
  ("(var2 stable)" 173 290)
 )
)
(45
 (
  ("(var3 stable)" 0 65)
  ("(var3 up)" 65 99)
  ("(var3 stable)" 99 179)
  ("(var3 up)" 179 181)
  ("(var3 down)" 181 192)
  ("(var3 up)" 192 197)
  ("(var3 stable)" 197 337)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 97)
  ("(var4 stable)" 97 337)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 93)
  ("(var1 stable)" 93 95)
  ("(var1 up)" 95 101)
  ("(var1 stable)" 101 337)
  ("(var2 stable)" 0 86)
  ("(var2 down)" 86 88)
  ("(var2 up)" 88 222)
  ("(var2 stable)" 222 337)
 )
)
(46
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 110)
  ("(var3 stable)" 110 189)
  ("(var3 up)" 189 193)
  ("(var3 down)" 193 204)
  ("(var3 up)" 204 209)
  ("(var3 stable)" 209 338)
  ("(var4 up)" 0 2)
  ("(var4 down)" 2 4)
  ("(var4 stable)" 4 78)
  ("(var4 up)" 78 108)
  ("(var4 stable)" 108 338)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 113)
  ("(var1 stable)" 113 338)
  ("(var2 stable)" 0 100)
  ("(var2 down)" 100 102)
  ("(var2 stable)" 102 134)
  ("(var2 up)" 134 238)
  ("(var2 stable)" 238 338)
 )
)
(47
 (
  ("(var3 stable)" 0 76)
  ("(var3 up)" 76 107)
  ("(var3 stable)" 107 203)
  ("(var3 up)" 203 207)
  ("(var3 down)" 207 216)
  ("(var3 up)" 216 220)
  ("(var3 stable)" 220 359)
  ("(var4 stable)" 0 69)
  ("(var4 up)" 69 109)
  ("(var4 stable)" 109 111)
  ("(var4 up)" 111 113)
  ("(var4 down)" 113 115)
  ("(var4 up)" 115 117)
  ("(var4 stable)" 117 359)
  ("(var1 stable)" 0 71)
  ("(var1 up)" 71 113)
  ("(var1 down)" 113 115)
  ("(var1 stable)" 115 359)
  ("(var2 stable)" 0 94)
  ("(var2 down)" 94 98)
  ("(var2 stable)" 98 138)
  ("(var2 up)" 138 146)
  ("(var2 down)" 146 148)
  ("(var2 up)" 148 151)
  ("(var2 down)" 151 153)
  ("(var2 up)" 153 242)
  ("(var2 stable)" 242 359)
 )
)
(48
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 79)
  ("(var3 stable)" 79 169)
  ("(var3 up)" 169 172)
  ("(var3 stable)" 172 174)
  ("(var3 down)" 174 182)
  ("(var3 stable)" 182 185)
  ("(var3 up)" 185 190)
  ("(var3 stable)" 190 335)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 72)
  ("(var4 stable)" 72 74)
  ("(var4 up)" 74 77)
  ("(var4 stable)" 77 335)
  ("(var1 stable)" 0 45)
  ("(var1 up)" 45 49)
  ("(var1 down)" 49 51)
  ("(var1 up)" 51 79)
  ("(var1 down)" 79 81)
  ("(var1 stable)" 81 335)
  ("(var2 stable)" 0 69)
  ("(var2 down)" 69 71)
  ("(var2 up)" 71 214)
  ("(var2 down)" 214 216)
  ("(var2 stable)" 216 333)
  ("(var2 down)" 333 335)
 )
)
(49
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 94)
  ("(var3 down)" 94 96)
  ("(var3 up)" 96 98)
  ("(var3 stable)" 98 173)
  ("(var3 up)" 173 177)
  ("(var3 stable)" 177 179)
  ("(var3 down)" 179 188)
  ("(var3 up)" 188 193)
  ("(var3 stable)" 193 323)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 95)
  ("(var4 stable)" 95 323)
  ("(var1 stable)" 0 61)
  ("(var1 up)" 61 64)
  ("(var1 stable)" 64 67)
  ("(var1 up)" 67 92)
  ("(var1 stable)" 92 323)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 stable)" 85 117)
  ("(var2 up)" 117 204)
  ("(var2 stable)" 204 323)
 )
)
(50
 (
  ("(var3 stable)" 0 32)
  ("(var3 up)" 32 65)
  ("(var3 stable)" 65 139)
  ("(var3 up)" 139 142)
  ("(var3 stable)" 142 144)
  ("(var3 down)" 144 154)
  ("(var3 up)" 154 158)
  ("(var3 stable)" 158 289)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 66)
  ("(var4 stable)" 66 289)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 35)
  ("(var1 stable)" 35 37)
  ("(var1 up)" 37 66)
  ("(var1 stable)" 66 289)
  ("(var2 stable)" 0 55)
  ("(var2 down)" 55 57)
  ("(var2 stable)" 57 90)
  ("(var2 up)" 90 102)
  ("(var2 stable)" 102 104)
  ("(var2 up)" 104 127)
  ("(var2 stable)" 127 130)
  ("(var2 up)" 130 175)
  ("(var2 stable)" 175 289)
 )
)
(51
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 82)
  ("(var3 stable)" 82 85)
  ("(var3 up)" 85 120)
  ("(var3 stable)" 120 194)
  ("(var3 up)" 194 199)
  ("(var3 down)" 199 209)
  ("(var3 up)" 209 213)
  ("(var3 stable)" 213 343)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 114)
  ("(var4 down)" 114 116)
  ("(var4 up)" 116 118)
  ("(var4 stable)" 118 343)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 113)
  ("(var1 stable)" 113 343)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 stable)" 106 140)
  ("(var2 up)" 140 229)
  ("(var2 stable)" 229 343)
 )
)
(52
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 115)
  ("(var3 stable)" 115 117)
  ("(var3 up)" 117 119)
  ("(var3 stable)" 119 195)
  ("(var3 up)" 195 199)
  ("(var3 stable)" 199 201)
  ("(var3 down)" 201 210)
  ("(var3 up)" 210 214)
  ("(var3 stable)" 214 344)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 116)
  ("(var4 down)" 116 118)
  ("(var4 stable)" 118 344)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 89)
  ("(var1 stable)" 89 91)
  ("(var1 up)" 91 118)
  ("(var1 stable)" 118 344)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 110)
  ("(var2 up)" 110 234)
  ("(var2 stable)" 234 340)
  ("(var2 up)" 340 344)
 )
)
(53
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 87)
  ("(var3 stable)" 87 166)
  ("(var3 up)" 166 171)
  ("(var3 down)" 171 182)
  ("(var3 up)" 182 186)
  ("(var3 stable)" 186 321)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 88)
  ("(var4 stable)" 88 321)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 52)
  ("(var1 up)" 52 90)
  ("(var1 stable)" 90 321)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 77)
  ("(var2 up)" 77 170)
  ("(var2 down)" 170 173)
  ("(var2 up)" 173 213)
  ("(var2 stable)" 213 321)
 )
)
(54
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 95)
  ("(var3 stable)" 95 187)
  ("(var3 up)" 187 190)
  ("(var3 down)" 190 200)
  ("(var3 up)" 200 206)
  ("(var3 stable)" 206 347)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 65)
  ("(var4 down)" 65 67)
  ("(var4 up)" 67 98)
  ("(var4 stable)" 98 347)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 98)
  ("(var1 stable)" 98 347)
  ("(var2 stable)" 0 86)
  ("(var2 down)" 86 88)
  ("(var2 stable)" 88 126)
  ("(var2 up)" 126 222)
  ("(var2 stable)" 222 347)
 )
)
(55
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 97)
  ("(var3 stable)" 97 174)
  ("(var3 up)" 174 179)
  ("(var3 down)" 179 188)
  ("(var3 up)" 188 192)
  ("(var3 stable)" 192 322)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 98)
  ("(var4 stable)" 98 322)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 95)
  ("(var1 stable)" 95 322)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 86)
  ("(var2 stable)" 86 122)
  ("(var2 up)" 122 221)
  ("(var2 stable)" 221 322)
 )
)
(56
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 88)
  ("(var3 stable)" 88 164)
  ("(var3 up)" 164 167)
  ("(var3 stable)" 167 170)
  ("(var3 down)" 170 178)
  ("(var3 up)" 178 183)
  ("(var3 stable)" 183 302)
  ("(var4 down)" 0 3)
  ("(var4 stable)" 3 57)
  ("(var4 up)" 57 86)
  ("(var4 stable)" 86 302)
  ("(var1 stable)" 0 58)
  ("(var1 up)" 58 85)
  ("(var1 stable)" 85 302)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 78)
  ("(var2 stable)" 78 110)
  ("(var2 up)" 110 198)
  ("(var2 down)" 198 200)
  ("(var2 up)" 200 202)
  ("(var2 stable)" 202 302)
 )
)
(57
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 69)
  ("(var3 stable)" 69 151)
  ("(var3 up)" 151 153)
  ("(var3 down)" 153 163)
  ("(var3 up)" 163 169)
  ("(var3 stable)" 169 308)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 40)
  ("(var4 stable)" 40 42)
  ("(var4 up)" 42 67)
  ("(var4 stable)" 67 308)
  ("(var1 stable)" 0 37)
  ("(var1 up)" 37 66)
  ("(var1 stable)" 66 308)
  ("(var2 stable)" 0 57)
  ("(var2 down)" 57 59)
  ("(var2 stable)" 59 86)
  ("(var2 up)" 86 159)
  ("(var2 stable)" 159 161)
  ("(var2 up)" 161 194)
  ("(var2 stable)" 194 308)
 )
)
(58
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 91)
  ("(var3 stable)" 91 95)
  ("(var3 up)" 95 140)
  ("(var3 down)" 140 142)
  ("(var3 stable)" 142 215)
  ("(var3 up)" 215 222)
  ("(var3 down)" 222 231)
  ("(var3 stable)" 231 233)
  ("(var3 up)" 233 238)
  ("(var3 stable)" 238 381)
  ("(var4 stable)" 0 97)
  ("(var4 up)" 97 129)
  ("(var4 stable)" 129 381)
  ("(var1 stable)" 0 94)
  ("(var1 up)" 94 97)
  ("(var1 stable)" 97 99)
  ("(var1 up)" 99 133)
  ("(var1 stable)" 133 381)
  ("(var2 stable)" 0 119)
  ("(var2 down)" 119 121)
  ("(var2 up)" 121 258)
  ("(var2 stable)" 258 381)
 )
)
(59
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 112)
  ("(var3 down)" 112 114)
  ("(var3 up)" 114 123)
  ("(var3 stable)" 123 207)
  ("(var3 up)" 207 212)
  ("(var3 down)" 212 217)
  ("(var3 stable)" 217 219)
  ("(var3 down)" 219 222)
  ("(var3 stable)" 222 224)
  ("(var3 up)" 224 227)
  ("(var3 stable)" 227 371)
  ("(var4 stable)" 0 86)
  ("(var4 up)" 86 112)
  ("(var4 stable)" 112 371)
  ("(var1 stable)" 0 86)
  ("(var1 up)" 86 121)
  ("(var1 stable)" 121 371)
  ("(var2 stable)" 0 107)
  ("(var2 down)" 107 109)
  ("(var2 up)" 109 156)
  ("(var2 stable)" 156 159)
  ("(var2 up)" 159 246)
  ("(var2 stable)" 246 249)
  ("(var2 up)" 249 251)
  ("(var2 stable)" 251 371)
 )
)
(60
 (
  ("(var3 stable)" 0 78)
  ("(var3 down)" 78 80)
  ("(var3 up)" 80 116)
  ("(var3 stable)" 116 201)
  ("(var3 up)" 201 209)
  ("(var3 down)" 209 218)
  ("(var3 up)" 218 225)
  ("(var3 stable)" 225 366)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 115)
  ("(var4 stable)" 115 366)
  ("(var1 stable)" 0 80)
  ("(var1 up)" 80 82)
  ("(var1 stable)" 82 85)
  ("(var1 up)" 85 91)
  ("(var1 stable)" 91 93)
  ("(var1 up)" 93 117)
  ("(var1 stable)" 117 366)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 stable)" 106 143)
  ("(var2 up)" 143 220)
  ("(var2 down)" 220 226)
  ("(var2 up)" 226 228)
  ("(var2 stable)" 228 366)
 )
)
(61
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 91)
  ("(var3 stable)" 91 166)
  ("(var3 up)" 166 171)
  ("(var3 down)" 171 182)
  ("(var3 up)" 182 186)
  ("(var3 stable)" 186 322)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 53)
  ("(var4 stable)" 53 59)
  ("(var4 up)" 59 91)
  ("(var4 stable)" 91 322)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 90)
  ("(var1 stable)" 90 322)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 78)
  ("(var2 up)" 78 115)
  ("(var2 stable)" 115 119)
  ("(var2 up)" 119 198)
  ("(var2 stable)" 198 322)
 )
)
(62
 (
  ("(var3 stable)" 0 32)
  ("(var3 up)" 32 62)
  ("(var3 stable)" 62 145)
  ("(var3 up)" 145 148)
  ("(var3 down)" 148 157)
  ("(var3 stable)" 157 159)
  ("(var3 up)" 159 162)
  ("(var3 stable)" 162 297)
  ("(var4 stable)" 0 30)
  ("(var4 up)" 30 60)
  ("(var4 stable)" 60 297)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 62)
  ("(var1 stable)" 62 64)
  ("(var1 up)" 64 68)
  ("(var1 stable)" 68 297)
  ("(var2 stable)" 0 52)
  ("(var2 down)" 52 54)
  ("(var2 up)" 54 193)
  ("(var2 stable)" 193 297)
 )
)
(63
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 71)
  ("(var3 stable)" 71 155)
  ("(var3 up)" 155 160)
  ("(var3 down)" 160 169)
  ("(var3 stable)" 169 171)
  ("(var3 up)" 171 175)
  ("(var3 stable)" 175 318)
  ("(var4 stable)" 0 32)
  ("(var4 up)" 32 64)
  ("(var4 down)" 64 66)
  ("(var4 up)" 66 68)
  ("(var4 stable)" 68 318)
  ("(var1 stable)" 0 28)
  ("(var1 up)" 28 64)
  ("(var1 stable)" 64 66)
  ("(var1 up)" 66 73)
  ("(var1 stable)" 73 318)
  ("(var2 stable)" 0 57)
  ("(var2 down)" 57 59)
  ("(var2 up)" 59 198)
  ("(var2 stable)" 198 318)
 )
)
(64
 (
  ("(var3 stable)" 0 64)
  ("(var3 up)" 64 100)
  ("(var3 stable)" 100 184)
  ("(var3 up)" 184 188)
  ("(var3 down)" 188 197)
  ("(var3 stable)" 197 199)
  ("(var3 up)" 199 203)
  ("(var3 stable)" 203 341)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 100)
  ("(var4 stable)" 100 341)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 101)
  ("(var1 stable)" 101 341)
  ("(var2 stable)" 0 86)
  ("(var2 down)" 86 92)
  ("(var2 stable)" 92 123)
  ("(var2 up)" 123 125)
  ("(var2 stable)" 125 128)
  ("(var2 up)" 128 199)
  ("(var2 down)" 199 201)
  ("(var2 up)" 201 206)
  ("(var2 stable)" 206 341)
 )
)
(65
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 71)
  ("(var3 stable)" 71 145)
  ("(var3 up)" 145 150)
  ("(var3 stable)" 150 152)
  ("(var3 down)" 152 160)
  ("(var3 up)" 160 164)
  ("(var3 stable)" 164 294)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 44)
  ("(var4 down)" 44 46)
  ("(var4 up)" 46 68)
  ("(var4 stable)" 68 294)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 71)
  ("(var1 stable)" 71 294)
  ("(var2 stable)" 0 62)
  ("(var2 down)" 62 64)
  ("(var2 stable)" 64 98)
  ("(var2 up)" 98 179)
  ("(var2 stable)" 179 294)
 )
)
(66
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 115)
  ("(var3 stable)" 115 188)
  ("(var3 up)" 188 193)
  ("(var3 down)" 193 202)
  ("(var3 up)" 202 205)
  ("(var3 stable)" 205 326)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 116)
  ("(var4 down)" 116 118)
  ("(var4 stable)" 118 326)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 113)
  ("(var1 stable)" 113 326)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 stable)" 106 134)
  ("(var2 up)" 134 137)
  ("(var2 stable)" 137 141)
  ("(var2 up)" 141 218)
  ("(var2 down)" 218 220)
  ("(var2 up)" 220 224)
  ("(var2 stable)" 224 326)
 )
)
(67
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 79)
  ("(var3 stable)" 79 155)
  ("(var3 up)" 155 159)
  ("(var3 stable)" 159 161)
  ("(var3 down)" 161 170)
  ("(var3 up)" 170 174)
  ("(var3 stable)" 174 307)
  ("(var4 stable)" 0 43)
  ("(var4 up)" 43 75)
  ("(var4 stable)" 75 307)
  ("(var1 stable)" 0 48)
  ("(var1 up)" 48 78)
  ("(var1 stable)" 78 307)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 68)
  ("(var2 up)" 68 196)
  ("(var2 stable)" 196 307)
 )
)
(68
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 107)
  ("(var3 stable)" 107 178)
  ("(var3 up)" 178 183)
  ("(var3 down)" 183 193)
  ("(var3 up)" 193 195)
  ("(var3 stable)" 195 324)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 109)
  ("(var4 stable)" 109 324)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 107)
  ("(var1 stable)" 107 324)
  ("(var2 stable)" 0 97)
  ("(var2 down)" 97 99)
  ("(var2 up)" 99 204)
  ("(var2 stable)" 204 324)
 )
)
(69
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 80)
  ("(var3 stable)" 80 153)
  ("(var3 up)" 153 161)
  ("(var3 down)" 161 170)
  ("(var3 up)" 170 175)
  ("(var3 stable)" 175 309)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 42)
  ("(var4 up)" 42 82)
  ("(var4 stable)" 82 309)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 82)
  ("(var1 down)" 82 84)
  ("(var1 stable)" 84 309)
  ("(var2 stable)" 0 67)
  ("(var2 down)" 67 69)
  ("(var2 up)" 69 186)
  ("(var2 stable)" 186 309)
 )
)
(70
 (
  ("(var3 stable)" 0 90)
  ("(var3 up)" 90 128)
  ("(var3 stable)" 128 208)
  ("(var3 up)" 208 213)
  ("(var3 stable)" 213 215)
  ("(var3 down)" 215 224)
  ("(var3 up)" 224 231)
  ("(var3 stable)" 231 372)
  ("(var4 stable)" 0 88)
  ("(var4 up)" 88 91)
  ("(var4 down)" 91 93)
  ("(var4 up)" 93 128)
  ("(var4 stable)" 128 372)
  ("(var1 stable)" 0 89)
  ("(var1 up)" 89 121)
  ("(var1 stable)" 121 372)
  ("(var2 stable)" 0 113)
  ("(var2 down)" 113 115)
  ("(var2 stable)" 115 150)
  ("(var2 up)" 150 225)
  ("(var2 stable)" 225 372)
 )
)
(71
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 80)
  ("(var3 stable)" 80 150)
  ("(var3 up)" 150 154)
  ("(var3 down)" 154 162)
  ("(var3 up)" 162 166)
  ("(var3 stable)" 166 285)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 79)
  ("(var4 stable)" 79 285)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 81)
  ("(var1 stable)" 81 285)
  ("(var2 stable)" 0 72)
  ("(var2 down)" 72 74)
  ("(var2 up)" 74 185)
  ("(var2 stable)" 185 285)
 )
)
(72
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 88)
  ("(var3 stable)" 88 152)
  ("(var3 up)" 152 157)
  ("(var3 down)" 157 167)
  ("(var3 up)" 167 171)
  ("(var3 stable)" 171 292)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 81)
  ("(var4 stable)" 81 292)
  ("(var1 stable)" 0 48)
  ("(var1 up)" 48 50)
  ("(var1 stable)" 50 52)
  ("(var1 up)" 52 80)
  ("(var1 stable)" 80 292)
  ("(var2 stable)" 0 72)
  ("(var2 down)" 72 77)
  ("(var2 up)" 77 156)
  ("(var2 stable)" 156 162)
  ("(var2 up)" 162 196)
  ("(var2 stable)" 196 292)
 )
)
(73
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 117)
  ("(var3 stable)" 117 191)
  ("(var3 up)" 191 193)
  ("(var3 stable)" 193 195)
  ("(var3 down)" 195 203)
  ("(var3 stable)" 203 205)
  ("(var3 up)" 205 209)
  ("(var3 stable)" 209 338)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 120)
  ("(var4 stable)" 120 338)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 119)
  ("(var1 stable)" 119 338)
  ("(var2 stable)" 0 102)
  ("(var2 down)" 102 104)
  ("(var2 up)" 104 235)
  ("(var2 stable)" 235 338)
 )
)
(74
 (
  ("(var3 stable)" 0 32)
  ("(var3 up)" 32 34)
  ("(var3 down)" 34 36)
  ("(var3 up)" 36 61)
  ("(var3 down)" 61 63)
  ("(var3 stable)" 63 140)
  ("(var3 up)" 140 145)
  ("(var3 down)" 145 152)
  ("(var3 up)" 152 156)
  ("(var3 stable)" 156 282)
  ("(var4 stable)" 0 30)
  ("(var4 up)" 30 64)
  ("(var4 stable)" 64 282)
  ("(var1 stable)" 0 37)
  ("(var1 up)" 37 63)
  ("(var1 stable)" 63 282)
  ("(var2 stable)" 0 54)
  ("(var2 down)" 54 58)
  ("(var2 up)" 58 182)
  ("(var2 stable)" 182 282)
 )
)
(75
 (
  ("(var3 stable)" 0 94)
  ("(var3 up)" 94 133)
  ("(var3 stable)" 133 218)
  ("(var3 up)" 218 223)
  ("(var3 down)" 223 234)
  ("(var3 up)" 234 238)
  ("(var3 stable)" 238 386)
  ("(var4 stable)" 0 96)
  ("(var4 up)" 96 126)
  ("(var4 down)" 126 129)
  ("(var4 up)" 129 131)
  ("(var4 stable)" 131 386)
  ("(var1 stable)" 0 94)
  ("(var1 up)" 94 131)
  ("(var1 stable)" 131 133)
  ("(var1 up)" 133 135)
  ("(var1 stable)" 135 386)
  ("(var2 stable)" 0 118)
  ("(var2 down)" 118 120)
  ("(var2 stable)" 120 160)
  ("(var2 up)" 160 234)
  ("(var2 stable)" 234 386)
 )
)
(76
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 119)
  ("(var3 stable)" 119 197)
  ("(var3 up)" 197 202)
  ("(var3 down)" 202 212)
  ("(var3 up)" 212 217)
  ("(var3 stable)" 217 350)
  ("(var4 stable)" 0 89)
  ("(var4 up)" 89 116)
  ("(var4 stable)" 116 350)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 122)
  ("(var1 stable)" 122 350)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 110)
  ("(var2 stable)" 110 123)
  ("(var2 up)" 123 126)
  ("(var2 down)" 126 128)
  ("(var2 up)" 128 241)
  ("(var2 stable)" 241 350)
 )
)
(77
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 105)
  ("(var3 stable)" 105 189)
  ("(var3 up)" 189 194)
  ("(var3 down)" 194 204)
  ("(var3 up)" 204 211)
  ("(var3 stable)" 211 356)
  ("(var4 stable)" 0 69)
  ("(var4 up)" 69 110)
  ("(var4 stable)" 110 356)
  ("(var1 stable)" 0 68)
  ("(var1 up)" 68 99)
  ("(var1 down)" 99 101)
  ("(var1 up)" 101 107)
  ("(var1 stable)" 107 356)
  ("(var2 stable)" 0 91)
  ("(var2 down)" 91 93)
  ("(var2 stable)" 93 130)
  ("(var2 up)" 130 140)
  ("(var2 down)" 140 142)
  ("(var2 up)" 142 222)
  ("(var2 down)" 222 224)
  ("(var2 stable)" 224 226)
  ("(var2 up)" 226 228)
  ("(var2 stable)" 228 356)
 )
)
(78
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 94)
  ("(var3 stable)" 94 96)
  ("(var3 up)" 96 99)
  ("(var3 stable)" 99 173)
  ("(var3 up)" 173 177)
  ("(var3 down)" 177 186)
  ("(var3 stable)" 186 188)
  ("(var3 up)" 188 190)
  ("(var3 stable)" 190 318)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 94)
  ("(var4 stable)" 94 318)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 96)
  ("(var1 stable)" 96 318)
  ("(var2 stable)" 0 88)
  ("(var2 down)" 88 90)
  ("(var2 up)" 90 213)
  ("(var2 stable)" 213 318)
 )
)
(79
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 88)
  ("(var3 stable)" 88 169)
  ("(var3 up)" 169 174)
  ("(var3 down)" 174 183)
  ("(var3 up)" 183 189)
  ("(var3 stable)" 189 316)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 94)
  ("(var4 stable)" 94 316)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 97)
  ("(var1 stable)" 97 316)
  ("(var2 stable)" 0 79)
  ("(var2 down)" 79 81)
  ("(var2 up)" 81 198)
  ("(var2 down)" 198 201)
  ("(var2 stable)" 201 316)
 )
)
(80
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 82)
  ("(var3 stable)" 82 152)
  ("(var3 up)" 152 158)
  ("(var3 down)" 158 169)
  ("(var3 up)" 169 174)
  ("(var3 stable)" 174 299)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 82)
  ("(var4 stable)" 82 299)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 83)
  ("(var1 stable)" 83 299)
  ("(var2 stable)" 0 70)
  ("(var2 down)" 70 79)
  ("(var2 up)" 79 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 183)
  ("(var2 stable)" 183 189)
  ("(var2 up)" 189 191)
  ("(var2 stable)" 191 299)
 )
)
(81
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 71)
  ("(var3 stable)" 71 144)
  ("(var3 up)" 144 148)
  ("(var3 down)" 148 158)
  ("(var3 up)" 158 160)
  ("(var3 stable)" 160 293)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 72)
  ("(var4 stable)" 72 293)
  ("(var1 stable)" 0 38)
  ("(var1 up)" 38 75)
  ("(var1 stable)" 75 293)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 up)" 62 172)
  ("(var2 stable)" 172 293)
 )
)
(82
 (
  ("(var3 up)" 0 2)
  ("(var3 stable)" 2 78)
  ("(var3 up)" 78 123)
  ("(var3 stable)" 123 206)
  ("(var3 up)" 206 209)
  ("(var3 down)" 209 220)
  ("(var3 up)" 220 224)
  ("(var3 stable)" 224 365)
  ("(var4 stable)" 0 87)
  ("(var4 up)" 87 117)
  ("(var4 stable)" 117 365)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 119)
  ("(var1 stable)" 119 365)
  ("(var2 stable)" 0 111)
  ("(var2 down)" 111 113)
  ("(var2 up)" 113 236)
  ("(var2 down)" 236 238)
  ("(var2 up)" 238 241)
  ("(var2 stable)" 241 365)
 )
)
(83
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 80)
  ("(var3 stable)" 80 158)
  ("(var3 up)" 158 162)
  ("(var3 down)" 162 172)
  ("(var3 up)" 172 177)
  ("(var3 stable)" 177 306)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 48)
  ("(var4 down)" 48 50)
  ("(var4 up)" 50 81)
  ("(var4 stable)" 81 306)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 79)
  ("(var1 stable)" 79 306)
  ("(var2 stable)" 0 69)
  ("(var2 up)" 69 207)
  ("(var2 stable)" 207 306)
 )
)
(84
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 102)
  ("(var3 stable)" 102 176)
  ("(var3 up)" 176 181)
  ("(var3 down)" 181 191)
  ("(var3 up)" 191 194)
  ("(var3 stable)" 194 319)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 101)
  ("(var4 stable)" 101 319)
  ("(var1 up)" 0 3)
  ("(var1 stable)" 3 61)
  ("(var1 up)" 61 101)
  ("(var1 stable)" 101 319)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 91)
  ("(var2 up)" 91 209)
  ("(var2 down)" 209 211)
  ("(var2 stable)" 211 319)
 )
)
(85
 (
  ("(var3 stable)" 0 48)
  ("(var3 up)" 48 86)
  ("(var3 stable)" 86 161)
  ("(var3 up)" 161 165)
  ("(var3 down)" 165 176)
  ("(var3 up)" 176 182)
  ("(var3 stable)" 182 315)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 81)
  ("(var4 stable)" 81 315)
  ("(var1 stable)" 0 45)
  ("(var1 up)" 45 80)
  ("(var1 stable)" 80 315)
  ("(var2 stable)" 0 69)
  ("(var2 down)" 69 71)
  ("(var2 stable)" 71 104)
  ("(var2 up)" 104 167)
  ("(var2 stable)" 167 171)
  ("(var2 up)" 171 209)
  ("(var2 stable)" 209 315)
 )
)
(86
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 74)
  ("(var3 stable)" 74 150)
  ("(var3 up)" 150 154)
  ("(var3 down)" 154 165)
  ("(var3 up)" 165 170)
  ("(var3 stable)" 170 302)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 74)
  ("(var4 stable)" 74 302)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 70)
  ("(var1 stable)" 70 302)
  ("(var2 stable)" 0 59)
  ("(var2 down)" 59 61)
  ("(var2 up)" 61 193)
  ("(var2 stable)" 193 302)
 )
)
(87
 (
  ("(var3 stable)" 0 66)
  ("(var3 down)" 66 68)
  ("(var3 up)" 68 97)
  ("(var3 stable)" 97 186)
  ("(var3 up)" 186 191)
  ("(var3 stable)" 191 193)
  ("(var3 down)" 193 203)
  ("(var3 up)" 203 209)
  ("(var3 stable)" 209 349)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 103)
  ("(var4 stable)" 103 347)
  ("(var4 down)" 347 349)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 99)
  ("(var1 stable)" 99 349)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 91)
  ("(var2 up)" 91 236)
  ("(var2 down)" 236 238)
  ("(var2 up)" 238 240)
  ("(var2 stable)" 240 349)
 )
)
(88
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 90)
  ("(var3 stable)" 90 174)
  ("(var3 up)" 174 179)
  ("(var3 down)" 179 189)
  ("(var3 up)" 189 193)
  ("(var3 stable)" 193 337)
  ("(var4 stable)" 0 60)
  ("(var4 up)" 60 93)
  ("(var4 stable)" 93 337)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 94)
  ("(var1 stable)" 94 337)
  ("(var2 stable)" 0 81)
  ("(var2 down)" 81 83)
  ("(var2 stable)" 83 119)
  ("(var2 up)" 119 189)
  ("(var2 stable)" 189 191)
  ("(var2 up)" 191 193)
  ("(var2 stable)" 193 337)
 )
)
(89
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 112)
  ("(var3 down)" 112 114)
  ("(var3 stable)" 114 188)
  ("(var3 up)" 188 195)
  ("(var3 down)" 195 205)
  ("(var3 up)" 205 208)
  ("(var3 stable)" 208 346)
  ("(var4 stable)" 0 86)
  ("(var4 up)" 86 110)
  ("(var4 stable)" 110 346)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 79)
  ("(var1 stable)" 79 82)
  ("(var1 up)" 82 108)
  ("(var1 stable)" 108 346)
  ("(var2 stable)" 0 100)
  ("(var2 down)" 100 102)
  ("(var2 stable)" 102 137)
  ("(var2 up)" 137 219)
  ("(var2 down)" 219 221)
  ("(var2 up)" 221 223)
  ("(var2 down)" 223 225)
  ("(var2 up)" 225 228)
  ("(var2 stable)" 228 346)
 )
)
(90
 (
  ("(var3 stable)" 0 91)
  ("(var3 up)" 91 124)
  ("(var3 stable)" 124 202)
  ("(var3 up)" 202 207)
  ("(var3 down)" 207 218)
  ("(var3 up)" 218 220)
  ("(var3 stable)" 220 356)
  ("(var4 stable)" 0 93)
  ("(var4 up)" 93 122)
  ("(var4 stable)" 122 356)
  ("(var1 stable)" 0 91)
  ("(var1 up)" 91 119)
  ("(var1 stable)" 119 356)
  ("(var2 stable)" 0 111)
  ("(var2 down)" 111 113)
  ("(var2 up)" 113 211)
  ("(var2 down)" 211 213)
  ("(var2 up)" 213 248)
  ("(var2 down)" 248 250)
  ("(var2 up)" 250 252)
  ("(var2 stable)" 252 356)
 )
)
(91
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 79)
  ("(var3 down)" 79 81)
  ("(var3 stable)" 81 152)
  ("(var3 up)" 152 156)
  ("(var3 down)" 156 163)
  ("(var3 stable)" 163 165)
  ("(var3 up)" 165 169)
  ("(var3 stable)" 169 301)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 84)
  ("(var4 stable)" 84 301)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 54)
  ("(var1 down)" 54 56)
  ("(var1 up)" 56 81)
  ("(var1 stable)" 81 301)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 76)
  ("(var2 up)" 76 108)
  ("(var2 stable)" 108 111)
  ("(var2 up)" 111 183)
  ("(var2 stable)" 183 301)
 )
)
(92
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 76)
  ("(var3 stable)" 76 154)
  ("(var3 up)" 154 160)
  ("(var3 down)" 160 170)
  ("(var3 up)" 170 174)
  ("(var3 stable)" 174 310)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 78)
  ("(var4 stable)" 78 310)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 70)
  ("(var1 down)" 70 72)
  ("(var1 up)" 72 75)
  ("(var1 stable)" 75 310)
  ("(var2 stable)" 0 62)
  ("(var2 down)" 62 64)
  ("(var2 up)" 64 194)
  ("(var2 down)" 194 196)
  ("(var2 stable)" 196 310)
 )
)
(93
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 67)
  ("(var3 stable)" 67 147)
  ("(var3 up)" 147 153)
  ("(var3 down)" 153 163)
  ("(var3 up)" 163 168)
  ("(var3 stable)" 168 306)
  ("(var4 stable)" 0 38)
  ("(var4 up)" 38 65)
  ("(var4 stable)" 65 306)
  ("(var1 stable)" 0 32)
  ("(var1 up)" 32 72)
  ("(var1 stable)" 72 306)
  ("(var2 stable)" 0 56)
  ("(var2 down)" 56 58)
  ("(var2 stable)" 58 96)
  ("(var2 up)" 96 201)
  ("(var2 stable)" 201 306)
 )
)
(94
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 69)
  ("(var3 stable)" 69 143)
  ("(var3 up)" 143 148)
  ("(var3 down)" 148 157)
  ("(var3 up)" 157 162)
  ("(var3 stable)" 162 286)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 66)
  ("(var4 stable)" 66 284)
  ("(var4 up)" 284 286)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 67)
  ("(var1 stable)" 67 286)
  ("(var2 stable)" 0 58)
  ("(var2 down)" 58 60)
  ("(var2 stable)" 60 92)
  ("(var2 up)" 92 94)
  ("(var2 stable)" 94 97)
  ("(var2 up)" 97 182)
  ("(var2 stable)" 182 286)
 )
)
(95
 (
  ("(var3 stable)" 0 95)
  ("(var3 up)" 95 127)
  ("(var3 down)" 127 129)
  ("(var3 up)" 129 131)
  ("(var3 stable)" 131 215)
  ("(var3 up)" 215 218)
  ("(var3 stable)" 218 222)
  ("(var3 down)" 222 232)
  ("(var3 up)" 232 238)
  ("(var3 stable)" 238 373)
  ("(var4 stable)" 0 94)
  ("(var4 up)" 94 129)
  ("(var4 stable)" 129 373)
  ("(var1 stable)" 0 94)
  ("(var1 up)" 94 131)
  ("(var1 stable)" 131 373)
  ("(var2 stable)" 0 118)
  ("(var2 down)" 118 120)
  ("(var2 up)" 120 218)
  ("(var2 stable)" 218 220)
  ("(var2 up)" 220 235)
  ("(var2 stable)" 235 373)
 )
)
(96
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 116)
  ("(var3 down)" 116 118)
  ("(var3 stable)" 118 202)
  ("(var3 up)" 202 206)
  ("(var3 down)" 206 218)
  ("(var3 up)" 218 225)
  ("(var3 stable)" 225 366)
  ("(var4 stable)" 0 85)
  ("(var4 up)" 85 111)
  ("(var4 stable)" 111 366)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 116)
  ("(var1 stable)" 116 366)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 up)" 106 150)
  ("(var2 down)" 150 152)
  ("(var2 up)" 152 233)
  ("(var2 down)" 233 235)
  ("(var2 up)" 235 239)
  ("(var2 stable)" 239 366)
 )
)
(97
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 100)
  ("(var3 down)" 100 102)
  ("(var3 up)" 102 104)
  ("(var3 stable)" 104 181)
  ("(var3 up)" 181 185)
  ("(var3 down)" 185 195)
  ("(var3 up)" 195 198)
  ("(var3 stable)" 198 328)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 109)
  ("(var4 stable)" 109 328)
  ("(var1 stable)" 0 70)
  ("(var1 up)" 70 104)
  ("(var1 stable)" 104 328)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 97)
  ("(var2 stable)" 97 131)
  ("(var2 up)" 131 215)
  ("(var2 stable)" 215 328)
 )
)
(98
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 87)
  ("(var3 stable)" 87 167)
  ("(var3 up)" 167 170)
  ("(var3 stable)" 170 172)
  ("(var3 down)" 172 181)
  ("(var3 stable)" 181 308)
  ("(var4 up)" 0 2)
  ("(var4 down)" 2 4)
  ("(var4 stable)" 4 60)
  ("(var4 up)" 60 94)
  ("(var4 stable)" 94 308)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 95)
  ("(var1 stable)" 95 308)
  ("(var2 stable)" 0 80)
  ("(var2 down)" 80 82)
  ("(var2 up)" 82 116)
  ("(var2 stable)" 116 118)
  ("(var2 up)" 118 201)
  ("(var2 stable)" 201 308)
 )
)
(99
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 109)
  ("(var3 stable)" 109 195)
  ("(var3 up)" 195 198)
  ("(var3 stable)" 198 200)
  ("(var3 down)" 200 209)
  ("(var3 up)" 209 214)
  ("(var3 stable)" 214 351)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 104)
  ("(var4 stable)" 104 351)
  ("(var1 stable)" 0 70)
  ("(var1 up)" 70 72)
  ("(var1 stable)" 72 80)
  ("(var1 up)" 80 106)
  ("(var1 stable)" 106 351)
  ("(var2 stable)" 0 98)
  ("(var2 down)" 98 100)
  ("(var2 up)" 100 243)
  ("(var2 stable)" 243 351)
 )
)
(100
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 97)
  ("(var3 stable)" 97 180)
  ("(var3 up)" 180 186)
  ("(var3 down)" 186 196)
  ("(var3 up)" 196 201)
  ("(var3 stable)" 201 338)
  ("(var3 down)" 338 340)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 95)
  ("(var4 stable)" 95 340)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 69)
  ("(var1 stable)" 69 71)
  ("(var1 up)" 71 100)
  ("(var1 stable)" 100 338)
  ("(var1 down)" 338 340)
  ("(var2 stable)" 0 87)
  ("(var2 down)" 87 89)
  ("(var2 stable)" 89 121)
  ("(var2 up)" 121 217)
  ("(var2 stable)" 217 338)
  ("(var2 up)" 338 340)
 )
)
